During the last years of his life, the mathematician Karl Menger worked on a biography of his father, the economist and founder of the Austrian School of Economics, Carl Menger. The younger Menger never finished the work. While working in the Menger collections at Duke University’s David M. Rubenstein Rare Book and Manuscript Library, we discovered draft chapters of the biography, a valuable source of information given that relatively little is known about Carl Menger’s life nearly a hundred years after (...) his death. The unfinished biography covers Carl Menger’s family background and his life through early 1889. In this article, we discuss the biography and the most valuable new insights it provides into Carl Menger’s life, including Carl Menger’s family, his childhood, his student years, his time working as a journalist and newspaper editor, his early scientific career, and his relationship with Crown Prince Rudolf. (shrink)

Ambiguities in natural language can multiply so fast that no person or machine can be expected to process a text of even moderate length by enumerating all possible disambiguations. A sentence containing $n$ scope bearing elements which are freely permutable will have $n!$ readings, if there are no other, say lexical or syntactic, sources of ambiguity. A series of $m$ such sentences would lead to $(n!)^m$ possibilities. All in all the growth of possibilities will be so fast that generating readings (...) first and testing their acceptability afterwards will not be feasible. -/- This insight has led a series of researchers to adopt a level of representation at which ambiguities remain unresolved. The idea here is not to generate and test many possible interpretations but to first generate one `underspecified' representation which in a sense represents all its complete specifications and then use whatever information is available to further specify the result. -/- One central hypothesis in the paper will be that the relation between an underspecified representation and its full representations is not so much the relation between one structure and a set of other structures but is in fact the relation between a description (a set of logical sentences) and its models. (shrink)

In a recent paper we have defined an analytic tableau calculus PL_16 for a functionally complete extension of Shramko and Wansing's logic based on the trilattice SIXTEEN_3. This calculus makes it possible to define syntactic entailment relations that capture central semantic relations of the logic---such as the relations |=_t, |=_f, and |=_i that each correspond to a lattice order in SIXTEEN_3; and |=, the intersection of |=_t and |=_f,. -/- It turns out that our method of characterising these semantic relations---as (...) intersections of auxiliary relations that can be captured with the help of a single calculus---lends itself well to proving interpolation. All entailment relations just mentioned have the interpolation property, not only when they are defined with respect to a functionally complete language, but also in a range of cases where less expressive languages are considered. For example, we will show that |=, when restricted to L_{tf}, the language originally considered by Shramko and Wansing, enjoys interpolation. This answers a question that was recently posed by M. Takano. (shrink)

Although their contributions to the history of economic thought and their scholarly reputations are firmly established, relatively little is known about the relationship between Carl Menger, founder of the Austrian School of economics, and his son, Karl Menger, the mathematician, geometer, logician, and philosopher of science, whose famous Mathematical Colloquium at the University of Vienna was central to the early literature on the existence of general equilibrium and the concomitant development of mathematical economics. The present paper begins to fill this (...) gap. Karl Menger’s diaries, held in the David M. Rubenstein Rare Book and Manuscript Library at Duke University, offer insight into the intimate relationships within the Menger clan, Karl’s work and study habits, and the development of his uncommonly broad intellect, as well as on life in a vanquished city, Vienna, in the immediate wake of the humiliating defeat of the First World War and the disintegration of the Habsburg Empire. (shrink)

Artificial intelligence (AI) is an area of computer science that emphasizes the creation of intelligent machines or software that work and react like humans. Some of the activities computers with artificial intelligence are designed for include, Speech, recognition, Learning, Planning and Problem solving. Deep learning is a collection of algorithms used in machine learning, It is part of a broad family of methods used for machine learning that are based on learning representations of data. Deep learning is a technique used (...) to produce Pneumonia detection and classification models using x-ray imaging for rapid and easy detection and identification of pneumonia. In this thesis, we review ways and mechanisms to use deep learning techniques to produce a model for Pneumonia detection. The goal is find a good and effective way to detect pneumonia based on X-rays to help the chest doctor in decision-making easily and accuracy and speed. The model will be designed and implemented, including both Dataset of image and Pneumonia detection through the use of Deep learning algorithms based on neural networks. The test and evaluation will be applied to a range of chest x-ray images and the results will be presented in detail and discussed. This thesis uses deep learning to detect pneumonia and its classification. (shrink)

A logic is called higher order if it allows for quantification over higher order objects, such as functions of individuals, relations between individuals, functions of functions, relations between functions, etc. Higher order logic began with Frege, was formalized in Russell [46] and Whitehead and Russell [52] early in the previous century, and received its canonical formulation in Church [14].1 While classical type theory has since long been overshadowed by set theory as a foundation of mathematics, recent decades have shown remarkable (...) comebacks in the fields of mechanized reasoning (see, e.g., Benzm¨. (shrink)

Current debates surrounding the virtues and shortcomings of randomization are symptomatic of a lack of appreciation of the fact that causation can be inferred by two distinct inference methods, each requiring its own, specific experimental design. There is a non-statistical type of inference associated with controlled experiments in basic biomedical research; and a statistical variety associated with randomized controlled trials in clinical research. I argue that the main difference between the two hinges on the satisfaction of the comparability requirement, which (...) is in turn dictated by the nature of the objects of study, namely homogeneous or heterogeneous populations of biological systems. Among other things, this entails that the objection according to which randomized experiments fail to provide better evidence for causation because randomization cannot guarantee comparability is mistaken. (shrink)

In this article, we describe what cryptocurrency is, how it works, and how it relates to familiar conceptions of and questions about money. We then show how normative questions about monetary policy find new expression in Bitcoin and other cryptocurrencies. These questions can play a role in addressing not just what money is, but what it should be. A guiding theme in our discussion is that progress here requires a mixed approach that integrates philosophical tools with the purely technical results (...) of disciplines like computer science and economics. Note: this article is the first entry within a two-part sequence on the Philosophy, Politics, and Economics of Cryptocurrency. (shrink)

Diabetes is a major public health issue that affects the nations of our time to a large extent and is described as a non-communicable epidemic. Diabetes mellitus is a common disease where there is too much sugar (glucose) floating around in your blood. This occurs because either the pancreas can’t produce enough insulin or the cells in body have become resistant to insulin. The concentration in this paper is on diagnosis diabetes by designing a proposed expert system. The main goal (...) of this expert system is to get the appropriate diagnosing of the illness, dealing with it quickly, and tips for permanent treatment whenever possible is given out. SL5 object expert system language was used for designing and implementing the proposed expert system. (shrink)

Abstract: Heart diseases are increasing daily at a rapid rate and it is alarming and vital to predict heart diseases early. The diagnosis of heart diseases is a challenging task i.e. it must be done accurately and proficiently. The aim of this study is to determine which patient is more likely to have heart disease based on a number of medical features. We organized a heart disease prediction model to identify whether the person is likely to be diagnosed with a (...) heart disease or not using the medical features of the person. We used many different algorithms of machine learning such as Gaussian Mixture, Nearest Centroid, MultinomialNB, Logistic RegressionCV, Linear SVC, Linear Discriminant Analysis, SGD Classifier, Extra Tree Classifier, Calibrated ClassifierCV, Quadratic Discriminant Analysis, GaussianNB, Random Forest Classifier, ComplementNB, MLP Classifier, BernoulliNB, Bagging Classifier, LGBM Classifier, Ada Boost Classifier, K Neighbors Classifier, Logistic Regression, Gradient Boosting Classifier, Decision Tree Classifier, and Deep Learning to predict and classify the patient with heart disease. A quite helpful approach was used to regulate how the model can be used to improve the accuracy of prediction of heart diseases in any person. The strength of the proposed model was very satisfying and was able to predict evidence of having a heart disease in a particular person by using Deep Learning and Random Forest Classifier which showed a good accuracy in comparison to the other used classifiers. The proposed heart disease prediction model will enhances medical care and reduces the cost. This study gives us significant knowledge that can help us predict the person with heart disease. The dataset was collected from Kaggle depository and the model is implemented using python. (shrink)

Automatic detection of diseases and anatomical landmarks in medical images by the use of computers is important and considered a challenging process that could help medical diagnosis and reduce the cost and time of investigational procedures and refine health care systems all over the world. Recently, gastrointestinal (GI) tract disease diagnosis through endoscopic image classification is an active research area in the biomedical field. Several GI tract disease classification methods based on image processing and machine learning techniques have been proposed (...) by diverse research groups in the recent past. However, yet effective and comprehensive deep ensemble neural network-based classification model with high accuracy classification results is not available in the literature. In this thesis, we review ways and mechanisms to use deep learning techniques to research on multi-disease computer-aided detection about gastrointestinal and identify these images. We re-trained five state-of-the-art neural network architectures, VGG16, ResNet, MobileNet, Inception-v3, and Xception on the Kvasir dataset to classify eight categories that include an anatomical landmark (pylorus, z-line, cecum), a diseased state (esophagitis, ulcerative colitis, polyps), or a medical procedure (dyed lifted polyps, dyed resection margins) in the Gastrointestinal Tract. Our models have showed results with a promising accuracy which is a remarkable performance with respect to the state-of-the-art approaches. The resulting accuracies achieved using VGG, ResNet, MobileNet, Inception-v3, and Xception were 98.3%, 92.3%, 97.6%, 90% and 98.2%, respectively. As it appears, the most accurate result has been achieved when retraining VGG16 and Xception neural networks with accuracy reache to 98% due to its high performance on training on ImageNet dataset and internal structure that support classification problems. (shrink)

Multidimensional concepts are everywhere, and they are important. Examples include moral value, welfare, scientific confirmation, democracy, and biodiversity. How, if at all, can we aggregate the underlying dimensions of a multidimensional concept F to yield verdicts about which things are Fer than which overall? Social choice theory can be used to model and investigate this aggregation problem. Here, we focus on a particularly thorny problem made salient by this social choice-theoretic framework: the underlying dimensions of a given concept might be (...) measurable on different types of scales—e.g., some ordinal and some cardinal. An underappreciated impossibility theorem due to Anna Khmelnitskaya shows that seemingly plausible constraints on aggregation across scale types are inconsistent. This impossibility threatens to render the notion of overall Fness incoherent. We attempt to defuse this threat, arguing that the impossibility depends on an overly restrictive conception of measurement and of how measurement constrains aggregation. Adopting a more flexible—and, we think, more perspicuous—conception of measurement opens an array of possibilities for aggregation across disparate scale types. (shrink)

This paper embeds the core part of Discourse Representation Theory in the classical theory of types plus a few simple axioms that allow the theory to express key facts about variables and assignments on the object level of the logic. It is shown how the embedding can be used to combine core analyses of natural language phenomena in Discourse Representation Theory with analyses that can be obtained in Montague Semantics.

In this article, I examine the moral dimensions of gender affirmation. I argue that the moral value of gender affirmation is rooted in what Iris Murdoch called loving attention. Loving attention is central to the moral value of gender affirmation because such affirmation is otherwise too fragile or insincere to have such value. Moral reasons to engage in acts that gender affirm derive from the commitment to give and express loving attention to trans people as a way of challenging their (...) marginalization. In the latter part of the paper, I will discuss how my arguments bear on recent arguments by Robin Dembroff and Daniel Wodak (2018) on the use of gender-neutral language. They argue that we have a duty not to use gender-specific pronouns for anyone. Their conclusion turns, in part, on a rejection of gender affirmation as a moral duty. The value of gender affirmation, rooted in our moral perception of trans people, should make us skeptical of this conclusion, in favor of a more nuanced and pluralistic approach to the ethics of gendering. (shrink)

I critically examine the semantic view of theories to reveal the following results. First, models in science are not the same as models in mathematics, as holders of the semantic view claim. Second, when several examples of the semantic approach are examined in detail no common thread is found between them, except their close attention to the details of model building in each particular science. These results lead me to propose a deflationary semantic view, which is simply that model construction (...) is an important component of theorizing in science. This deflationary view is consistent with a naturalized approach to the philosophy of science. (shrink)

In the present article, I offer a new reading of Hannah Arendt’s The Origins of Totalitarianism, specifically her argument that ideologies such as racism engender totalitarianism when the lonely and disenfranchised laborers of modern society develop a pathological fixation on formal logic, which I term “logomania.” That is, such logical deductions, from horrifically false premises, are the closest thing to thinking that individuals can engage in after their psyches, relationships, and communities have broken down. And it is only thus that (...) totalitarianism can achieve power, since it offers at least some form of connectedness and meaning, regardless how terrifying and violent. The danger persists, clearly, with the resurgence of the far Right, including in the extraordinary regime of Trump in the United States. From this I conclude that, along with the admirable calls to fight loneliness and rebuild our communities, we should also supplement all formal logical instruction and community education with instruction in creative thinking (including aesthetics), thereby discouraging the monomaniac reliance on formal logic as inadvertent weapon of totalitarianism. (shrink)

This paper analyses Nozick's possible-worlds model of utopia. It identifies and examines three arguments in favour of the minimal state: (1) the minimal state is the real-world analogue of the possible-worlds model and can hence be considered to be inspiring; (2) the minimal state is the common ground of all possible utopian conceptions and can hence be universally endorsed; and (3) the minimal state is the best or at least a very good means for approximating or achieving utopia. While constituting (...) fascinating lines of inquiry, all arguments are found to be wanting and unable to yield the conclusions that Nozick intended to establish. Nonetheless, they establish interesting and important results, in particular the result that the minimal state is the maximal institutional structure that is in principle compatible with the complete satisfaction of the maximal non-arbitrary set of preferences that are in principle co-satisfiable, as well as the corollary that in utopia any state will exert at most the functions of a minimal state. (shrink)

The paper considers contemporary models of presumption in terms of their ability to contribute to a working theory of presumption for argumentation. Beginning with the Whatelian model, we consider its contemporary developments and alternatives, as proposed by Sidgwick, Kauffeld, Cronkhite, Rescher, Walton, Freeman, Ullmann-Margalit, and Hansen. Based on these accounts, we present a picture of presumptions characterized by their nature, function, foundation and force. On our account, presumption is a modal status that is attached to a claim and has the (...) effect of shifting, in a dialogue, a burden of proof set at a local level. Presumptions can be analysed and evaluated inferentially as components of rule-based structures. Presumptions are defeasible, and the force of a presumption is a function of its normative foundation. This picture seeks to provide a framework to guide the development of specific theories of presumption. (shrink)

With increased visibility of trans people comes increased philosophical interest in gendered language. This chapter aims to look at the research on gendered language in analytic philosophy of language so far, which has focused on two concerns: (1) determining how to define gender terms like ‘man’ and ‘woman’ such that they are trans inclusive and (2) if, or to what extent, we should use gendered language at all. We argue that the literature has focused too heavily on how gendered language (...) can harm trans people, and has not considered how trans people use gendered language to create meaning and joy for ourselves. Pulling from the literature in sociolinguistics, we look at examples of how trans people use language to make their lives better by gaining recognition, playing with gendered language, finding joy in gendered language, and taking control of definitional power, concluding that debates about gendered language need to consider not only how such language harms trans people but also how trans people use it for our own liberation. (shrink)

Abortion bans have been characterized as cruel especially in not allowing exceptions for rape or incest. The article first examines one approach to morally justifying bans based on the Doctrine of Double Effect (DDE) which distinguishes morally between killing or letting die intending death versus doing so only foreseeing death. It then presents some criticisms of the implications of the DDE but also argues that what the doctrine permits helps provide a ground for the permissibility of abortions even if the (...) fetus is a person. Whether there are limits on applying this argument is also considered. In conclusion, the article considers whether and why not permitting exceptions to bans for rape and incest is cruel and whether cruelty is a ground for opposition to bans. (shrink)

This paper aims to measure Knowledge Management Maturity (KMM) in the universities to determine the impact of knowledge management on high performance. This study was applied on Al-Quds Open University in Gaza strip, Palestine. Asian productivity organization model was applied to measure KMM. Second dimension which assess high performance was developed by the authors. The controlled sample was (306). Several statistical tools were used for data analysis and hypotheses testing, including reliability Correlation using Cronbach’s alpha, “ANOVA”, Simple Linear Regression and (...) Step Wise Regression.The overall findings of the current study suggest that KMM is suitable for measuring high performance. KMM assessment shows that maturity level is in level three. Findings also support the main hypothesis and it is sub- hypotheses. The most important factors effecting high performance are: Processes, KM leadership, People, KM Outcomes and Learning and Innovation. Furthermore the current study is unique by the virtue of its nature, scope and way of implied investigation, as it is the first comparative study in the universities of Palestine explores the status of KMM using the Asian productivity Model. (shrink)

The paper shows how ideas that explain the sense of an expression as a method or algorithm for finding its reference, preshadowed in Frege’s dictum that sense is the way in which a referent is given, can be formalized on the basis of the ideas in Thomason (1980). To this end, the function that sends propositions to truth values or sets of possible worlds in Thomason (1980) must be replaced by a relation and the meaning postulates governing the behaviour of (...) this relation must be given in the form of a logic program. The resulting system does not only throw light on the properties of sense and their relation to computation, but also shows circular behaviour if some ingredients of the Liar Paradox are added. The connection is natural, as algorithms can be inherently circular and the Liar is explained as expressing one of those. Many ideas in the present paper are closely related to those in Moschovakis (1994), but receive a considerably lighter formalization. (shrink)

Formal thought disorder (FTD) is a clinical mental condition that is typically diagnosable by the speech productions of patients. However, this has been a vexing condition for the clinical community, as it is not at all easy to determine what “formal” means in the plethora of symptoms exhibited. We present a logic-based model for the syntax–semantics interface in semantic networking that can not only explain, but also diagnose, FTD. Our model is based on description logic (DL), which is well known (...) for its adequacy to model terminological knowledge. More specifically, we show how faulty logical form as defined in DL-based Conception Language (CL) impacts the semantic content of linguistic productions that are characteristic of FTD. We accordingly call this the dyssyntax model. (shrink)

Moral and political forms of constructivism accord to people strong, “constitutive” forms of discursive standing and so build on, or express, a commitment to discursive respect. The paper explores dimensions of discursive respect, i.e., depth, scope, and purchase; it addresses tenuous interdependencies between them; on this basis, it identifies limitations of the idea of discursive respect and of constructivism. The task of locating discursive respect in the normative space defined by its three dimensions is partly, and importantly, an ethical task (...) that is beyond constructivism. Interdependencies between these dimensions call into question the possibility of a plausible and coherent form of discursive respect that is deep, inclusive in scope, and rich in purchase. This does not mean that we should reject discursive respect, or constructivism, for that matter. But it suggests that the task of reconciling the dimensions of discursive respect may not allow for widely shareable results. This task needs to be addressed on non-constructivist grounds. Accordingly, we have reasons to concede that constitutive forms of discursive standing are less fundamental in the order of justification than weaker, “derivative” forms, and this is so especially if we take constitutive standing to mark an important good. (shrink)

I argue via examples that there are cases in which things that are not two distinct things qualitatively differ without contradiction. In other words, there are cases in which something differs from itself. Standard responses to such cases are to divide the thing into distinct parts, or to conceive of the thing under different descriptions, or to appeal to different times, or to deny that the property had is the property lacked. I show these responses to be unsatisfactory. I then (...) gather and systematize available ways of talking about such cases with phrases like ‘insofar as’, ‘qua’, ‘to the extent that’, ‘in some respect’, etc., while paying special attention to the scope of ‘not’ when used with these phrases. This allows me to show how we can speak of self-differing without contradiction. (shrink)

Consonant with the ongoing “aesthetic turn” in legal scholarship, this article pursues a new conception of law as poetry. Gestures in this law-as-poetry direction appear in all three main schools in the philosophy of law’s history, as follows. First, natural law sees law as divinely-inspired prophetic poetry. Second, positive law sees the law as a creative human positing (from poetry’s poesis). And third, critical legal theory sees these posited laws as calcified prose prisons, vulnerable to poetic liberation. My first two (...) sections interpret two texts at the intersections among these three theories, namely Percy Bysshe Shelley’s “A Defense of Poetry” and Alexis de Tocqueville’s Democracy in America. Shelley identifies a poetic rebirth in the ruins of natural law, suggesting a philosophy of law as “natural poesis.” And Tocqueville names several figurative aristocracies capable of redeploying aristocratic law against democratic despotism, suggesting a philosophy of law as “aristo-poetic counterforce.” Finally, I propose a new theory of law as poetry bridging these two theories, “natural aristo-poetic counterforce.”. (shrink)

This paper assesses the role of the Refutation of Idealism within the Critique of Pure Reason, as well as its relation to the treatment of idealism in the First Edition and to transcendental idealism more generally. It is argued that the Refutation is consistent with the Fourth Paralogism and that it can be considered as an extension of the Transcendental Deduction. While the Deduction, considered on its own, constitutes a 'regressive argument', the Refutation allows us to turn the Transcendental Analytic (...) into a 'progressive argument' that proceeds by the synthetic method. (shrink)

In this paper it is shown how the DRT (Discourse Representation Theory) treatment of temporal anaphora can be formalized within a version of Montague Semantics that is based on classical type logic.

This contribution provides an assessment of the epistemological role of scientific models. The prevalent view that all scientific models are representations of the world is rejected. This view points to a unified way of resolving epistemic issues for scientific models. The emerging consensus in philosophy of science that models have many different epistemic roles in science is presented and defended.

How is it possible for David Hume to be both withering skeptic and constructive theorist? I recommend an answer like the Pyrrhonian answer to the question how it is possible to suspend all judgment yet engage in active daily life. Sextus Empiricus distinguishes two kinds of assent: one suspended across the board and one involved with daily living. The first is an act of will based on appreciation of reasons; the second is a causal effect of appearances. Hume makes the (...) same distinction, only he extends the sort of assent involved in daily life to theoretical matters as well. He is a skeptic both in finding no reason to grant the first sort of assent and in being subject to the second. (shrink)

In this article, I present a two-pronged argument for the immorality of contemporary, asymmetric drone warfare, based on my new interpretations of the just war principles of “proportionality” and “moral equivalence of combatants” (MEC). The justification for these new interpretations is that drone warfare continues to this day, having survived despite arguments against it that are based on traditional interpretations of just war theory (including one from Michael Walzer). On the basis of my argument, I echo Harry Van der Linden’s (...) call for “an international treaty banning all weaponized UAV [uninhabited aerial vehicles].”. (shrink)

There are two kinds of semantic theories of anaphora. Some, such as Heim’s File Change Semantics, Groenendijk and Stokhof’s Dynamic Predicate Logic, or Muskens’ Compositional DRT (CDRT), seem to require full coindexing of anaphora and their antecedents prior to interpretation. Others, such as Kamp’s Discourse Representation Theory (DRT), do not require this coindexing and seem to have an important advantage here. In this squib I will sketch a procedure that the first group of theories may help themselves to so that (...) they can interleave interpretation and coindexing in DRT’s way. (shrink)

According to the “Embodied Cognition” entry in the Stanford Encyclopedia of Philosophy, the three landmark texts in the 4E cognitive science tradition are Lakoff and Johnson’s Metaphors We Live By, Varela, Thompson, and Rosch’s The Embodied Mind, and Andy Clark’s Being There. In my first section, I offer a phenomenological interpretation of these three texts, identifying recuring affirmations of the figure of dance alongside explicit marginalization of the practice of dance, perhaps in part due to cognitive science’s overemphasis on cognition (...) to the exclusion of affect. In my second section, drawing on my previous interpretations of proto-affect theorists (including Spinoza, Deleuze, and Fanon), I channel this tension in 4E cognitive science into a dancing partnership with human science psychology, suggesting three “choreographic provocations” for therapeutic practice and psychological research, namely (1) treating clients/subjects as dancers, (2) reimagining research and therapy as improvised duets between practitioners and clients/subjects, and (3) pursuing an ideal of freer movement and an emergent flourishing singularity for clients/subjects. Finally, I reformulate these three choreographic provocations in terms of my new theoretical method of “dancing-with,” as well as the four psychological prerequisites for flourishing posited by my figuration philosophy of dance. (shrink)

In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general models and have a natural definition. As a class they do not validate the axiom of Extensionality. We give a cut-free sequent calculus for type theory and show completeness of this calculus with respect to the class of intensional models via a model existence theorem. After this we turn our attention to applications. Firstly, it (...) is argued that, since ITL is truly intensional, it can be used to model ascriptions of propositional attitude without predicting logical omniscience. In order to illustrate this a small fragment of English is defined and provided with an ITL semantics. Secondly, it is shown that ITL models contain certain objects that can be identified with possible worlds. Essential elements of modal logic become available within classical type theory once the axiom of Extensionality is given up. (shrink)

According to the “internal” conception (Quong), political liberalism aims to be publicly justifiable only to people who are reasonable in a special sense specified and advocated by political liberalism itself. One advantage of the internal conception allegedly is that it enables liberalism to avoid perfectionism. The paper takes issue with this view. It argues that once the internal conception is duly pitched at its fundamental, metatheoretical level and placed in its proper discursive context, it emerges that it comes at the (...) cost of public dogma. The paper examines this problem and argues that a plausible response to this problem is to go beyond the internal conception and adopt a more inclusive, dynamic conception. But this calls for a form of perfectionism. Thus, the internal conception of political liberalism, far from showing how liberalism can be had without perfectionism, effectively calls for perfectionism as a remedy for its problems. (shrink)

In mathematical languages and in predicate logic coreferential terms can be interchanged in any sentence without altering the truth value of that sentence. Replacing 3 + 5 by 12 − 4 in any formula of arithmetic will never lead from truth to falsity or from falsity to truth. But natural languages are different in this respect. While in some contexts it is always allowed to interchange coreferential terms, other contexts do not admit this. An example of the first sort of (...) context is likes bananas: for any two coreferential noun phrases A and B the sentence A likes bananas is true if and only if B likes bananas is. A context that does not allow intersubstitution of coreferents is The Ancients knew that appears at dawn. If we fill the hole with the noun phrase the Morning Star we get the true (1a), while if we plug in the Evening Star we get the false (1b). Yet the Morning Star and the Evening Star both refer to the planet Venus and are thus coreferential. (shrink)

[First paragraph]: This article is part of a larger project in which I suggest a historically informed philosophy of dance, called “figuration,” consisting of new interpretations of canonical philosophers. Figuration consists of two major parts, comprising (a) four basic concepts, or “moves”—namely, “positure,” “gesture,” “grace,” and “resilience”—and (b) seven types, or “families” of dance—namely, “concert,” “folk,” “societal,” “agonistic,” “animal,” “astronomical,” and “discursive.” This article is devoted to the first of these four moves, as illustrated by both its importance for Aristotle (...) and also its applicability to these seven families of dance. One goal of figuration as a whole, and the central goal of this excerpt from that larger project, is to model and justify a dancing aesthetic education pursuant to psychological and political flourishing. (shrink)

This project was provoked by the almost nonexistent pushback from the Democratic liberal establishment to the (2020) exoneration of Kyle Rittenhouse, despite his acknowledged killing of two Black Lives Matters protesters against the police murder of George Floyd. It builds on three prior articles arguing for the revival of ancient Dionysian practice, Haitian Vodou, and Indigenous South American shamanism to empower leftist revolution. In essence, I propose an assemblage of spiritual practices that are accessible today for the neo-colonized 99% of (...) the global population, by synthesizing and reconstructing three democratic, lower-SES, Indigenous religions, all of which share a militant defiance of their respective tyrannical plutocracies. To avoid cultural appropriation, I center these reconstructed spiritual practices on the figure of the “mage,” a psychosocial healer loosely analogous to a shaman. And the mage’s signature activity, “magic,” I redefine naturalistically as free interpersonal performative action, practiced using two theoretical disciplines (philosophy and psychology) and two practical disciplines chosen by each mage. More precisely, Spirit/Dance channels the “spirits” of dead ancestors, historical figures, legendary heroes, mythical beings, and fictional characters, into the three ultimate objectives of “mindfulness” for psyches/souls, “liberation” for mindful bodies, and “social justice” for liberated communities, indirectly empowering long-term revolution. (shrink)

An e-learning system is increasingly gaining popularity in the academic community because of several benefits of learning anywhere anyplace and anytime. An Intelligent Tutoring System (ITS) is a computer system that aims to provide immediate and customized instruction or feedback to learners, usually without requiring intervention from a human teacher.(ITSB) is the tutoring system Builder Which designed and improved to help teachers in building intelligent tutoring system in many fields. In this paper, we have an example and an evaluating are (...) presented of building an intelligent tutoring system for teaching TOEFL using ITSB tool. (shrink)

In recent analytic literature on the Trinity we have seen a variety of "social" models of the Trinity. By contrast there are few "non-­‐social" models. One prominent "non-­‐social" view is Brian Leftow's "Latin Trinity." I argue that the name of Leftow's model is not sufficiently descriptive in light of diverse models within Latin speaking theology. Next, I develop a new "non-­‐social" model that is inspired by Richard of St. Victor's description of a person in conjunction with my appropriating insights about (...) indexicals from David Kaplan and John Perry. I point out that the copula in tokens of statements like, "I am the Father," is an ambiguous term and when used by a certain divine person a different proposition is affirmed. Central to this model is the claim that the copula bears the "is of identity" and the "is of numerical sameness without identity." Further, I show that Leftow's model employs two concepts of "person," a Lockean one and a Boethian one, and mine employs Richard of St. Victor's. I describe Leftow's model as a "hard non-­‐social" model and mine as a "soft non-­‐social" model that is nearer to some social models. I conclude that Leftow's model is not the lone candidate among "non-­‐social" models and that the variety of "non-­‐social" models has yet to be exhausted. (shrink)

The paper advances a non-orthodox reading of political liberalism’s view of political legitimacy, the view of public political justification that comes with it, and the idea of the reasonable at the heart of these views. Political liberalism entails that full discursive standing should be accorded only to people who are reasonable in a substantive sense. As the paper argues, this renders political liberalism dogmatic and exclusivist at the level of arguments for or against normative theories of justice. Against that background, (...) the paper considers aspects of a more plausible, deeper and more inclusive idea of public political justification that builds on a thinner, potentially cosmopolitan idea of the reasonable. The paper considers what content such an idea may have, and identifies a method of inclusive abstraction through which it may be enriched in content to render it fruitful for the purposes of a justification of principles of political justice. But the move toward more depth and inclusiveness faces constructivism with two challenges. First, inclusivism about the scope of political justification might not be able to avoid dogmatism unless it invokes perfectionist considerations. And second, the authority and appeal of a fruitfully rich idea of the reasonable depends on whether the addressees of political justification already value wide acceptability. (shrink)

This paper takes as its point of departure recent research into the possibility that human beings can perceive single photons. In order to appreciate what quantum perception may entail, we first explore several of the leading interpretations of quantum mechanics, then consider an alternative view based on the ontological phenomenology of Maurice Merleau-Ponty and Martin Heidegger. Next, the philosophical analysis is brought into sharper focus by employing a perceptual model, the Necker cube, augmented by the topology of the Klein bottle. (...) This paves the way for addressing in greater depth the paper’s central question: Just what would it take to observe the quantum reality of the photon? In formulating an answer, we examine the nature of scientific objectivity itself, along with the paradoxical properties of light. The conclusion reached is that quantum perception requires a new kind of observation, one in which the observer of the photon adopts a concretely self-reflexive observational posture that brings her into close ontological relationship with the observed. (shrink)

Ontology, since Aristotle, has been conceived as a sort of highly general physics, a science of the types of entities in reality, of the objects, properties, categories and relations which make up the world. At the same time ontology has been for some two thousand years a speculative enterprise. It has rested methodologically on introspection and on the construction and analysis of elaborate world-models and of abstract formal-ontological theories. In the work of Quine and others this ontological theorizing in abstract (...) fashion about the world was supplemented by the study, based on the use of logical methods, of the ontological commitments or presuppositions embodied in scientific theories. In recent years both types of ontological study have found application in the world of information systems, for example in the construction of frameworks for knowledge representation and in database design and translation. As ontology is in this way drawn closer to the domain of real-world applications, the question arises as to whether it is possible to use empirical methods in studying ontological theories. More specifically: can we use empirical methods to test the ontological theories embodied in human cognition? We set forth the outlines of a framework for the formulation and testing of such theories as they relate to the specific domain of geographic objects and categories. (shrink)

Ordinary usage gives a way to think of identity through time: the Pittsburgh of 1946 was the same city as the Pittsburgh of today is--namely Pittsburgh. Problem: The Pittsburgh of 1946 does not exist; Pittsburgh still does. How can they have been identical? I reject the temporal parts view on which they were not but we may speak as though they were. Rather I argue that claiming their identity is not contradictory. I interpret ‘the Pittsburgh of 1946’ as ‘Pittsburgh as (...) it was in 1946’ and suggest that the apparent contradiction results from an ambiguity in the scope of ‘as’. (shrink)

In this paper we consider the theory of predicate logics in which the principle of Bivalence or the principle of Non-Contradiction or both fail. Such logics are partial or paraconsistent or both. We consider sequent calculi for these logics and prove Model Existence. For L4, the most general logic under consideration, we also prove a version of the Craig-Lyndon Interpolation Theorem. The paper shows that many techniques used for classical predicate logic generalise to partial and paraconsistent logics once the right (...) set-up is chosen. Our logic L4 has a semantics that also underlies Belnap’s [4] and is related to the logic of bilattices. L4 is in focus most of the time, but it is also shown how results obtained for L4 can be transferred to several variants. (shrink)